System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
511	FACSAn Open System Operational Semantics for an Object-Oriented and Component-Based Language Jasmin Christian Blanchette and Olaf Owe Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2009-11-22 11:37:03 Logic in computer science Programming language semantics Actor model Concurrent computing Symbol Binding Operational semantics Objective-C Computing Software engineering Computer programming
512	Giving Haskell a Promotion Brent A. Yorgey Stephanie Weirich University of Pennsylvania {byorgey,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:27 Computing Programming language theory Functional programming Kind Polymorphism Type class System F Type system Generic programming Type theory Software engineering Data types
513	Extracted from: Programming Groovy 2 Dynamic Productivity for the Java Developer This PDF file contains pages extracted from Programming Groovy 2, published by Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-07-17 00:50:28 Object-oriented programming Groovy Grails Metaclass Metaobject Foreach loop Java Common Lisp Object System Dynamic programming language Computing Software engineering Computer programming
514	Lecture 2: Infrastructure Support for Mobility Cristian Borcea Department of Computer Science NJIT  Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-10-28 03:55:59 VMware Programming language implementation VM Hypervisor Virtualization Windows Virtual PC Hardware virtualization Comparison of VMware Fusion and Parallels Desktop System software Software Virtual machines
515	Build Awesome Command-Line Applications in Ruby Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-03-13 12:43:48 Scripting languages Online help Technical communication Ruby programming language Web application frameworks Ruby Command-line interface Man page Batch file Software Computing System software
516	Dr. sc. ETH Mathias Payer C ONTACT Revision: MarchAffiliation: Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2015-04-20 14:04:32 ETH Zurich Language-based system Orc ALGOL 68 Actor model Pascal Computing Programming language theory Software engineering
517	Universal Physician Credentialing ApplicationCopyrightStephen Scott & Associates, Inc. Add to Reading List Source URL: www.stephenscott.com Language: English - Date: 2008-08-25 21:55:22 Computing Social Security number C Software engineering Programming language theory Postal system ZIP code Address
518	VX-toolset for M16C and R8C/Tiny HIGHLIGHTS Incorporates nextgeneration Viper compiler technology State-of-the-art C compiler Fast and compact Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-12-15 10:29:39 Programming language implementation Procedural programming languages Microcontrollers R8C Renesas Electronics Debugging Assembly language Debugger Embedded system Computing Software engineering Computer programming
519	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
520	IntPatch: Automatically Fix Integer-Overﬂow-to-Buﬀer-Overﬂow Vulnerability at Compile-Time Chao Zhang, Tielei Wang, Tao Wei, Yu Chen, and Wei Zou Institute of Computer Science and Technology, Peking University Key Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:42:06 Computing Programming language theory Vulnerability LLVM Type system Social vulnerability Variable Type inference Pointer Type theory Data types Software engineering

UPDATE